161. Special Topics in Mathematics for Computer Scientists
پدیدآورنده : \ Ernst-Erich Doberkat
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,
162. Splendid light on bright wisdom
پدیدآورنده : / by Sayf al-Dīn al-Āmidī Abū 'l-Ḥasan ʻAlī ibn Abī ʻAlī ibn Muḥammadī,آم‍دی
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق,Logic,فلسفه اسلامي,Islamic philosophy,فلسفه عربی,Philosophy, Arab,منطق,Logic,منطق قرون وسطا,Logic, Medieval,نسخه‌های خطی عربی,Manuscripts, Arabic, -- متون قدیمی تا قرن ۱۸۰۰م., -- Early works to 1800, -- متون قدیمی تا ۱۸۰۰م., -- Early works to 1800, -- متون قدیمی تا ۱۸۰۰م., -- Early works to 1800, -- متون قدیمی تا ۱۸۰۰م., -- Early works to 1800, -- متون قدیمی تا ۱۸۰۰م., -- Early works to 1800, -- چاپ عکسی, -- Facsimiles, -- کشورهای اسلامی, -- Islamic Empire, -- آنکارا, -- Ankara
163. Symbolic Logic
پدیدآورنده : \ Irving M Copi
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical. ,منطق ریاضی
رده :
BC135
.
C58S9
2015
164. System Of Logic Ratiocinative And Inductive: Being A Connected View Of The Principles Of Evidence And The Methods Of Scientific Investigation
پدیدآورنده : / By John Stuart Mill
کتابخانه: (طهران)
موضوع : علوم,منطق,شناخت (فلسفه), -- روش‌شناسی,Logic,Science -- Methodology.,Knowledge, Theory of.
رده :
BC
91
.
M5S9
165. Temporal Modalities in Arabic Logic
پدیدآورنده : \ Nicholas Rescher
کتابخانه: (طهران)
موضوع : منطق موجهات,Modality (Logic),Logicians -- Arab countries, منطق‌دان‌ها -- کشورهای عربی
رده :
BC199
.
M6R4
166. <The> Arché papers on the Mathematics of Abstraction
پدیدآورنده : \ edited by Roy T. Cook.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
167. <The> Bloomsbury Companion to Philosophical Logic
پدیدآورنده : \ edited by Leon Horsten and Richard Pettigrew
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,منطق, -- Study and teaching, -- راهنمای آموزشی,a03,a03
رده :
BC95
.
B4
2014
168. <The> Concept of Logical Consequence
پدیدآورنده : \ Matthew W. McKeon.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic.,منطق
رده :
BC
71
.
M36C6
2010
E-Book
,
169. <The> Critical Thinking Toolkit
پدیدآورنده : \ Galen A. Foresman, Peter S. Fosl, and Jamie C. Watson
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Reasoning,Critical thinking,Logic.,استدلال,تفکر انتقادی,منطق
رده :
BC177
.
F67C7
2017
170. <The> Discovery of Chinese Logic
پدیدآورنده : \ By Joachim Kurtz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic -- China -- History.,منطق -- چین -- تاریخ
رده :
BC
39
.
5
.
K8D5
2011
E-Book
,
171. <The> Elements of Advanced Mathematics
پدیدآورنده : \ Steven G. Krantz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics,Mathematics -- Textbooks,Logic, Symbolic and mathematical -- Textbooks,ریاضیات,ریاضیات -- کتاب‌های درسی,منطق ریاضی -- کتاب‌های درسی
رده :
E-Book
,
172. <The> Epistemic Significance of Disagreement
پدیدآورنده : \ Jonathan Matheson
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Faith,ایمان ,a02,a02,Reasoning. ,Logic,استدلال ,منطق
رده :
BC
177
.
M32E6
2015
E-Book
,
173. <The> Essential Turing
پدیدآورنده : \ Edited by B. Jack Copeland
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Turing, Alan, 1912-1954.,ت‍ری‍ن‍گ، آل‍ن م‍ات‍ی‍س‍ن، ۱۹۱۲ - ۱۹۵۴م.
رده :
E-Book
,
174. <The> Evolution of Logic
پدیدآورنده : \ W.D. Hart.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic-- History.,منطق -- تاریخ
رده :
BC
15
.
H32E94
2010
E-book
,
175. <The> Force of Argument
پدیدآورنده : \ edited by Jonathan Lear and Alex Oliver.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic.,Philosophy, Modern -- 21st century.,منطق,فلسفه جدید -- قرن ۲۱م.
رده :
BC38
.
F67
2010
176. <The> Logic Manual
پدیدآورنده : / Volker Halbach
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,منطق
رده :
BC71
.
H35L6
2010
177. <The> Logic of Concept Expansion
پدیدآورنده : \ Meir Buzaglo.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Concepts,مفهوم,a02,a02,Logic.,منطق
رده :
BC
199
.
B8L6
2002
E-Book
,
178. <The> Logic of Conventional Implicatures
پدیدآورنده : \ Christopher Potts
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Speech acts (Linguistics),Semantics,Implication (Logic),کنش‌های گفتاری (زبان‌شناسی),م‍ع‍ن‍ی‌ش‍ن‍اس‍ی,استلزام (منطق)
رده :
E-Book
,
179. <The> Logical Foundations of Bradley’s Metaphysics
پدیدآورنده : \ James W. Allard
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Bradley, Francis Herbert, 1846-1924,Logic,Metaphysics,ب‍رادل‍ی، ف‍ران‍س‍ی‍س ه‍رب‍رت، ۱۸۴۶ -۱۹۲۴م. ,منطق ,مابعدالطبیعه
رده :
E-Book
,
180. <The> Logical Foundations of Scientific Theories
پدیدآورنده : \ Décio Krause and Jonas R. B. Arenhart
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
